321. Proof and computation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.

رده :
QA76
.
63
E358
1995

322. Proof and computation

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
63
.
P74

323. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy

رده :
QA
9
.
A1L44
Vol
.
15

324. Sorts and types in artificial intelligence

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses

رده :
QA
335
.
S6
1996

325. Sorts and types in artificial intelligence

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses

رده :
QA
335
.
S6
1996

326. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
418

327. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(

رده :
Q
334
.
S63
1990

328. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses

رده :
Q
334
.
S632
1990

329. Southeast Asian Conference on Logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical ; Congresses. ;

330. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993: proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L4
v
.
747

331. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Uncertainty )Information theory(-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
Q
375
.
E88
1993

332. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU'93, Granada, Spain, November 8-10, 1993 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
747

333. Symbolic computation and education

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : assisted instruction ; Congresses. ; Computable functions ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; -Mathematics ; Computer

334. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
465

335. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
L5663
1991

336. The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Methodology-- Congresses ، Science,Congresses ، Science-- Philosophy

رده :
Q
174
.
I58
1995

337. The theory of models

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.

338. The theory of models; proceedings

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)

موضوع : Logic Symbolic and mathematical models-Congresses

رده :
BC
135
.
I586

339. The theory of models; proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models

رده :
BC
135
.
I586
1963

340. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1479